au.\*:("Schmidt, Renate A")
Results 1 to 25 of 38
Selection :
Relations and Kleene algebra in computer science (9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006)Schmidt, Renate A.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-37873-1, 1Vol, XI-431 p, isbn 3-540-37873-1Conference Proceedings
On two dually nondeterministic refinement algebrasSOLIN, Kim.Lecture notes in computer science. 2006, pp 373-387, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Relational measures and integrationSCHMIDT, Gunther.Lecture notes in computer science. 2006, pp 343-357, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Computing and visualizing lattices of subgroups using relation algebra and RELVIESBERGHAMMER, Rudolf.Lecture notes in computer science. 2006, pp 91-105, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Evaluating sets of search points using relational algebraKEHDEN, Britta.Lecture notes in computer science. 2006, pp 266-280, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Weak relational productsWINTER, Michael.Lecture notes in computer science. 2006, pp 417-431, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Algebraization of hybrid logic with bindersLITAK, Tadeusz.Lecture notes in computer science. 2006, pp 281-295, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
On the cardinality of relationsKAWAHARA, Yasuo.Lecture notes in computer science. 2006, pp 251-265, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Semigroupoid interfaces for relation-algebraic programming in haskellKAHL, Wolfram.Lecture notes in computer science. 2006, pp 235-250, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 16 p.Conference Paper
Homomorphism and isomorphism theorems generalized from a relational perspectiveSCHMIDT, Gunther.Lecture notes in computer science. 2006, pp 328-342, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
On the complexity of the equational theory of relational action algebrasBUSZKOWSKI, Wojciech.Lecture notes in computer science. 2006, pp 106-119, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper
An axiomatization of arrays for kleene algebra with testsABOUL-HOSN, Kamal.Lecture notes in computer science. 2006, pp 63-77, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Lazy semiring neighbours and some applicationsHÖFNER, Peter; MÖLLER, Bernhard.Lecture notes in computer science. 2006, pp 207-221, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Monodic tree kleene algebraTAKAI, Toshinori; FURUSAWA, Hitoshi.Lecture notes in computer science. 2006, pp 402-416, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Monotone predicate transformers as up-closed multirelationsREWITZKY, Ingrid; BRINK, Chris.Lecture notes in computer science. 2006, pp 311-327, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 17 p.Conference Paper
Finite symmetric integral relation algebras with no 3-cyclesMADDUX, Roger D.Lecture notes in computer science. 2006, pp 2-29, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 28 p.Conference Paper
Max-plus convex geometryGAUBERT, Stéphane; KATZ, Ricardo.Lecture notes in computer science. 2006, pp 192-206, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Local variable scoping and kleene algebra with testsABOUL-HOSN, Kamal; KOZEN, Dexter.Lecture notes in computer science. 2006, pp 78-90, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 13 p.Conference Paper
On the fixpoint theory of equality and its applicationsSZATAS, Andrzej; TYSZKIEWICZ, Jerzy.Lecture notes in computer science. 2006, pp 388-401, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper
Betweenness and comparability obtained from binary relationsDÜNTSCH, Ivo; URQUHART, Alasdair.Lecture notes in computer science. 2006, pp 148-161, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 14 p.Conference Paper
Computations and relational bundlesSANDERS, J. W.Lecture notes in computer science. 2006, pp 30-62, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 33 p.Conference Paper
Investigating finite models of non-classical logics with relation algebra and RER VIEWBERGHAMMER, Rudolf; SCHMIDT, Renate A.Lecture notes in computer science. 2006, pp 31-49, issn 0302-9743, isbn 978-3-540-69223-2, 1Vol, 19 p.Conference Paper
Relational representation theorems for general lattices with negationsDZIK, Wojciech; ORLOWSKA, Ewa; VAN ALTEN, Clint et al.Lecture notes in computer science. 2006, pp 162-176, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
A relational view of recurrence and attractors in state transition dynamicsSCOLLO, Giuseppe; FRANCO, Giuditta; MANCA, Vincenzo et al.Lecture notes in computer science. 2006, pp 358-372, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper
Demonic algebra with domainDE CARUFEL, Jean-Lou; DESHARNAIS, Jules.Lecture notes in computer science. 2006, pp 120-134, issn 0302-9743, isbn 3-540-37873-1, 1Vol, 15 p.Conference Paper